Object type - PDFSEARCH.IO - Document Search Engine

Object type
Results: 830

#	Item
21	Type-Based Reasoning and Imprecise Errors Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Software engineering Declarative programming Data types Computing Type theory Functional programming Object-oriented programming Polymorphism Map Ordinal number Boolean data type CurryHoward correspondence
22	Handles: Behavior-Propagating First Class References For Dynamically-Typed Languages accepted to Science of Computer Programming Jean-Baptiste Arnauda , Stéphane Ducassea , Marcus Denkera , Camille Teruela a RMoD Add to Reading List Source URL: rmod.inria.fr Language: English - Date: 2015-11-03 10:16:25 Software engineering Computing Computer programming Data types Object-oriented programming Objective-C Method Handle Object-capability model Class Reference Type system
23	Presburger Formulas and Polyhedral Compilation v0.02 Sven Verdoolaege Polly Labs and KU Leuven January 15, 2016 Add to Reading List Source URL: lirias.kuleuven.be Language: English - Date: 2016-01-16 02:32:56 Software engineering Computer programming Computing Data types Compiler optimizations Cross-platform software Procedural programming languages Iterator Object Polytope model Assignment Type system
24	How To Have Your Cake and Eat It, Too: Self-Applicable Online Partial Evaluation Michael Sperber Wilhelm-Schickard-Institut fur Informatik Universitat Tubingen Sand 13, DTubingen, Germany Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Software engineering Computing Computer programming Subroutines Data types Type theory Object-oriented programming languages Functional languages Partial evaluation Scala Recursion Memoization
25	Package ‘MSnbase’ June 29, 2016 Title Base Functions and Classes for MS-based Proteomics VersionDescription Basic plotting, data manipulation and processing of MS-based Proteomics data. Add to Reading List Source URL: bioconductor.org Language: English - Date: 2016-06-29 15:15:31 Software engineering Computer programming Object-oriented programming Computing Method This Common Lisp Object System Objective-C Constructor Class Union type C++ classes
26	Combining Programming with Theorem Proving Chiyan Chen and Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-11-01 11:55:41 Software engineering Computer programming Computing Functional languages Type theory Data types Procedural programming languages ATS Object-oriented programming ML Polymorphism OCaml
27	Railway English version – SOSI standard 4.0 Railway English version – SOSI standard 4.0 Add to Reading List Source URL: www.kartverket.no Language: English - Date: 2015-07-22 04:38:38 Software engineering Data types Computing Object-oriented programming Type theory Const Object Identifier Subtyping Pointing stick
28	Type-Based Reasoning about Efficiency D. Seidel∗ J. Voigtl¨ander Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Software engineering Type theory Declarative programming Computer programming Functional programming Data types Polymorphism Object-oriented programming Map Parametric polymorphism Constructible universe
29	Introduction to Smalltalk - Chapter 7 - Introduction to Collections  Ivan TomekChapter 7 - Introduction to Collections Overview Add to Reading List Source URL: sdmeta.gforge.inria.fr Language: English - Date: 2014-10-09 10:38:17 Software engineering Computer programming Computing Abstract data types Object-oriented programming languages Data types Smalltalk Foreach loop Set VisualWorks Objective-C Array data type